Addition of polynomials